Types and Programming Languages - PDFSEARCH.IO - Document Search Engine

Types and Programming Languages
Results: 543

#	Item
91	The camel has two humps (working title) Saeed Dehnadi and Richard Bornat School of Computing, Middlesex University, UK February 22, 2006 Abstract Learning to program is notoriously difficult. A substantial minority of st Add to Reading List Source URL: wiki.t-o-f.info Language: English - Date: 2012-01-05 14:13:29 Procedural programming languages Type theory Data types Programming paradigms Richard Bornat ALGOL 68 Programming language Assignment C Software engineering Computing Computer programming
92	Fortran History and Development Ian Chivers and Jane Sleightholme - September 1st, 1995 Last update: September 2008 Development and Evolution of Fortran Fortran was one of the first high level languages developed and wid Add to Reading List Source URL: www.fortranplus.co.uk Language: English - Date: 2015-05-25 06:06:32 Procedural programming languages Data types Fortran Primitive types Cross-platform software Pointer Conditional C Pascal Computing Software engineering Computer programming
93	Zeroshell as TFTP server On June 22 a new update has been released by Fulvio BF22 (June 30, 2013) So now you can install an thin client or a server on network. I was playing with booting SmartOS [www.smartos.org] and ste Add to Reading List Source URL: www.artfiles.org Language: English - Date: 2013-08-08 17:27:09 Software engineering Computer programming Procedural programming languages Cross-platform software Trivial File Transfer Protocol C Integer Dynamic Host Configuration Protocol Signedness Computing Computer arithmetic Data types
94	XOTcl - TutorialGustaf Neumann and Uwe Zdun XOTcl - Tutorial Add to Reading List Source URL: media.wu-wien.ac.at Language: English - Date: 2014-04-29 15:11:13 Scripting languages Object-oriented programming XOTcl OTcl Data types Mixin Tcl Stack Multiple inheritance Software engineering Computer programming Computing
95	5 Cool Things About Rust Andrew Brinker Introduction Rust is a safe systems language designed by Mozilla as an alternative to C and C++. It is already being used in the creation of large software systems, including its o Add to Reading List Source URL: andrewbrinker.com Language: English - Date: 2015-04-21 19:13:18 Object-oriented programming Data types Functional languages Functional programming Rust Immutable object Pointer Qu Reference Computing Software engineering Computer programming
96	CGTM-ll J. Ehrman December, 1966 SIMPLE-MINDED ELEMENTARY LIST LANGUAGE A set of routines was recently written to enable users of higherlevel languages (e.g. Fortran and Assembler) to perform list manipulations. Add to Reading List Source URL: www.slac.stanford.edu Language: English - Date: 2011-07-15 16:23:34 Procedural programming languages Data types Primitive types Pointer C Fortran Reference ALGOL 68 Garbage collection Computing Software engineering Computer programming
97	Advanced Macrology and the Implementation of Typed Scheme Ryan Culpepper Sam Tobin-Hochstadt Matthew Flatt Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:25:42 Functional languages Transformation languages Procedural programming languages Cross-platform software Data types Hygienic macro Racket Scheme Type system Computing Software engineering Computer programming
98	INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Project-Team Gallium Programming languages, types, compilation and proofs Paris - Rocquencourt Add to Reading List Source URL: raweb.inria.fr Language: English - Date: 2011-02-28 06:23:38 Functional languages Type theory Procedural programming languages Logic in computer science Cross-platform software Type system OCaml Coq ML Software engineering Computing Programming language theory
99	The mLite Language Nils M Holm, 2014 mLite is a general-pur pose, functional, lightweight, dynamic programming language. It borrows ideas from both the Scheme [R4RS] and Standard ML [DEFSML] languages, taking most of its Add to Reading List Source URL: www.t3x.org Language: English - Date: 2014-11-16 10:27:37 Functional programming Lambda calculus Higher-order functions Functional languages Data types Standard ML Anonymous function Pattern matching Monad Software engineering Declarative programming Computer programming
100	Bits and pieces of information about the parser, namer, and typer phases that turn out to be necessary just to be able to unparse Scala ASTs c Miguel Garcia, LAMP, EPFL http://lamp.epfl.ch/~magarcia Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2011-01-04 07:00:46 Data types Functional languages Procedural programming languages Type theory Functional programming ALGOL 68 Type system Pattern matching Anonymous function Computing Software engineering Computer programming

UPDATE